منابع مشابه
A Minimal Model for Set Theory
In the proof of the consistency of the Continuum Hypothesis and the Axiom of Choice with the other axioms of set theory, Gödel [ l ] introduced the notion of a constructible set and showed that the constructible sets form a model for set theory. These sets are intuitively those which can be reached by means of a transfinite sequence of several simple operations. He then showed that the Axiom of...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
A Model of ZF Set Theory Language
The articles [5], [6], [3], [4], [1], and [2] provide the terminology and notation for this paper. For simplicity we adopt the following convention: k, n will have the type Nat; D will have the type DOMAIN; a will have the type Any; p, q will have the type FinSequence of NAT. The constant VAR has the type SUBDOMAIN of NAT, and is defined by it = { k : 5 ≤ k }. The following proposition is true ...
متن کاملA mental model theory of set membership
Assertions of set membership, such as Amy is an artist, should not be confused with those of set inclusion, such as All artists are bohemians. Membership is not a transitive relation, whereas inclusion is. Cognitive scientists have neglected the topic, and so we developed a theory of inferences yielding conclusions about membership, e.g., Amy is a bohemian, and about non-membership, Abbie is no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1963
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1963-10989-1